Add type_checking.