undo recently invented syntax for referring to definitions in a TS-expression
change syntax for substitution in TS-expressions from f/a/b to f[a,b]
change syntax for raw TS-expressions from [El](t) to @[El](t)