Testing the new type system