finished (at least for the time being) struct support ; still very cludgy
(need to have a separate 'typer' phase during compilation that
also does type checking /casts and then statically assigns types to AST (term) nodes)