Correct some types in preparation for compiling mixin apps in their full glory. Mostly a test that MemoryHole is working well with new grammar.