Improved names of type-checking functions.