Addition of structs

One test on ./driver.py fails, pointing to the main current issue with struct typing (see TODOs in resolvetyping)
OK but 'c' is bordering on bad naming. 'ctx' seems to be the prevailing convention.