Right now in types { } you are forced to write 4 type names. I did this because I assumed hygiene wouldn't let me fabricate those names into the surrounding scope, but this is not true.

If this section is empty the macro should just use the conventional names.