I pushed up more changes, including a readme. The code there is very hacky and hard-coded as I experiment with analysis. I will definitely clean it up soon. It appears I'm past type-checking and now I'm getting a codegen error (which I think is a good thing!) I'll start experimenting soon with IR transforms and will clean up the code to make it actually useable. I've changed the test to explicitly check for a codegen error for now, so that it will pass and to ensure we're past type-checking and ready to start looking at codegen.