Types_as_Spaces