TimeTypes: Move (Transformable (Dynamics a)) etc to class constraint
TimeTypes: Move (Transformable (Dynamics a)) etc to class constraint