type checking might not be the right thing to work on right now. for one thing I'd have to change the plumbing of the compiler because each function needs to know the types of the other functions in order to determine its own type

tl;dr i kinda just wanna cleanly compile into messy C cose atm

I've also thought about arrays more. Of course it would be nice to have 2darrays in a 2d language... but then we need 2 coordinates so that sounds unlikely