Add tests for cons.
Add tests for equivalence and equality.