Got rid of weird characters in Approach listings.
Rewrote concrete syntax (again). Added figure for TSL delimiters.
Merge of statics.tex.
Updated static rules.