ADVENTURES IN TYPE AND SPACE