bugfix in term hashconsing (At case);
hand written comparison for Type, and arbitrary instances
arbitrary instance for MetaPattern (and export more functions);
MetaKB allows several definitions of an axiom, using MultiMap
more tests, for types and meta