Syntactic support for rule templates