Update type system and checks.