Compile checkValidator calls
Add back the standard type check
Generate denser switch statements