add a bunch of class stuff + make primitives work

see clos.lisp and disjoin.lisp and stuff
oh and clos-fixup.lisp
reorganize tests