spec for constructor metamodels #796