Make changes to the type system.