Kind_prim_gen is now a struct; generic type parameters are capitalized; generic type constructors; use memoize decorators.
if macro.
expand_basic
StorkEnv repr
TODO comment
forms are now Expr struct types.
type-of host function
removed check (unused, inefficient); moved error.