tweak
improve warnings and tweak lexer
simplify
tweak
better name quotation
fix a regression problem, turn off verbose and add unit test
rename QUOTATION -> Quot