Add more exposition on why type checking is happening now, not earlier, be less self-sarcastic