Seriously almost done type-checking/static-analysis.
Now all the fun will be in emitting LLVM!
All I need to do is finish the inheritance rules w/ classes, then I'm golden!