Recursion. Thinking about types and their meaning at the bit level. They mean nothing 'down there', they are important constructs for higher software like the compiler/interpreter. Allowing these programs to identify nonsensical statements and transform them, or alert the developer.