assignment and equality tests for all types
make a stray TODO test comment an error
allow functions to return Nothing
fix some assignments