Update type system checker