Addition of structs

One test on ./driver.py fails, pointing to the main current issue with struct typing (see TODOs in resolvetyping)
These don't need to be on their own line for such a short rule. This is harder to read.