Merge Craigs abstraction of model classes