let's add some type-checking!
fix typecheck to return a new expression tree instead of mutating it.
fix newObject type.
cleanup builtins. merge local/ref resolution and type-checking (it's the only way). use the typemap to resolve type references.
remove t_locals.
make t_type more explicit with value-vs-type handlers.
add tests for t_type.
rebuild object and r_type.
cleanup eval newObject.
move runtime type objects into their own folder.
tests for a lot of the runtime types. fleshed out more of TStruct. finished rename of builtins to descriptors.
change "struct" in the AST, to match the format of messages.
repl can just ask the type to display itself now.
struct can be typechecked.
ensure state survives the transform phase, always. add some sanity checks for struct fields.
allow structs to coerce with positional fields & missing fields.
almost have coerce working.
fix up small bugs i introduced into r_expr with all my refactoring. really need to get the tests up to r_expr next. :)