Types within GENERAL KINEMATICS