Switch compile and typecheck modes to quicktypes

Quicktypes is the new default.
Use --no-quicktypes flag for alternative type system.