Fix FLOOR and DISTINCT in CVC language parser.
Suggest command-line options on typos