Not require Typable s on DynLogicModel
This seems to be overly restrictive and does not allow parameterized models where the type variable is not typable (e.g. an IOSim monad in which actions are to be performed)