zz note: better compiler errors

Irken needs simple things for better compiler errors:

• report the specific character position where errors are detected, like clang ^^^, not just report vague prose errors
• forbid newlines in single-quoted strings, to better catch quoting errors
• support a very fast type-check first pass, so errors can be reported much sooner than in the current compile process.... * integrate with type-aware IDEs for compile-while-editing and constant error reporting

More Advanced Ideas

• support syntax-case macros, which can provide much better errors than syntax-rules
• support the compile-time checking of complex embedded DSLs like SQL and format strings - (because embedded DSLs will exist)
• consider adding a non-s-exp syntax, since s-exp syntax is not great for clear error reporting

Research

• Dynamic Witnesses for Static Type Errors