* let the various list types be hashtables where appropriate
* check out jit-dynamic
* fix arginfo with nullable types
+* pemalloc
+* unions
+* callbacks and function pointers
+* let impl_Var point to impl_arg, just like decl_var?
\ No newline at end of file