Update type system.