newer typechecker
started new typechecker...
admitting defeat and bringing ye olde algorithm w into the mix
fixed typing for now
most things working, desugaring `if` into builtin function, started work on namespacing