#Alonzo news: I've now implemented lambdas & vars in my System F Omega typechecker. Since I'm sure to want them before too long...

Next I'll be lowering Alonzo into those semantics (with a few shortcuts) so I know when to ignore you dropping invalid code into place!

Hmmmm... I'll want to suggest this code soon to output the inferred type to aid the automatic code generation, that shouldn't be hard!