Update type_checking and symbols.