Boxen's fundamental modules and types.