more bug fixes, now _runs_ all the test cases, failing 14 of them (some because of bugs, others because errors are now caught in unification)