find some typo-bugs revealed by testing metatheoretic properties
A stab at counterexample-driven testing of meta-theoretic properties.
update libs
Let polymorphism. Generalization and instantation are non-relational.