-- type constructor
type Library = ([Char],[(Id,Clause)],[(Id,[Id],[Clause],[Clause])])