1 * move numbers to the lexer
2 * avoid allocs inside structures by reallocating the whole structure
3 * let the various list types be hashtables where appropriate
4 * check out jit-dynamic
5 * fix arginfo with nullable types
8 * callbacks and function pointers
9 * let impl_Var point to impl_arg, just like decl_var?