cleanup
simplified mk-structs
alpha-renaming oc procs
added a unifiable? predicate to mk-structs, so unify can deal with inheritance
more tests, cleanup