Checkmate50

We discussed this a while back -- at the time, we said it was unnecessary since it doesn't effect the end user since they won't be rebuilding the compiler

This issue is actually insane; I still don't have a fix, and am not convinced it's possible. Would be super cool if someone solved it!

Fortunately, the syntax here can be fixed (see #80). There's a deeper issue, however, which is why I've renamed this issue: the need for existential types! Right now, we have...

Looks good! I did notice that this doesn't work with negative exponents however (parsing error); could that get fixed before merging?

Ah, fortunately, this is not an error but a feature! We now require in Gator that canonical functions map between two geometric objects. To fix this code, simply change the...

I like this idea a lot! I think this principle should also be used for TypeScript features that haven't been implemented yet but should be (such as #96, cause duh),...

We should add tests to check this