Add TLA and TLACFG syntax