Initial implementation of struct-type contract generation.

I'm confused by what you want -- it's in a separate file. Or do you think we should have one file that contains `any-wrap/c` and this?