I'm reading "Refactoring" by Martin Fowler. There is a term "type code" that I've never seen that before. What is a type code?