rework simple checker to do:

 1. a check of simple things
 2. an effectful check of more complicated things which is disabled inside of quote and syntax-quote

   - special form syntax
   - shorthand functions and %-args