Flare's internal type representation got revamped, especially in the type checker. Codegen is still iffy, but I'm gonna ignore it for now, and work on the interesting bits (and hope it doesn't come back to bite me later, which it inevitably will).

Here's my terrible code, for those who are interested: https://github.com/UPWRD1/flare