Alonzo news: I'm actively working on implementing a System F Omega typechecker!

Though perhaps it'd be easier to convert the code I'm referencing into Alonzo as opposed to Lua, once I've got Alonzo... Its making heavy use of Rust's pattern matching!

I've decided to replace most of the pattern matching with dispatch tables, that's coming out quite legible.

Also I need to figure out how to test this...