The new type system is much simpler, and this time there are actually tests for the more important parts of the type system.