CLeanup for * versions.
Added fairly useless %module keyword
add-preserves-disjoint-converse
Added WORLDS to map-all.
added support for predefined relations.
Added some theorems about or (unique, respects-eq)