More Stratgo-like syntax, and some syntactic conveniences.