k1

Fix trivia; add some new semantic tokens

improve macros explanation

Update some k1 code to use new metaprog syntax

Allow $ and \ for shorthands for metaprogramming directives

shorthand fn param syntax