Added --quicktypes option for Typecheck mode