Useful crazytown docs
Add tests for top-level Type
Add on_set tests