-- type constructor
type Def = (Id,Clause)