renamed semantics.tex to structures.tex, macrofied