runtime/guards/base: Provide _m_fqn for ProtocolDesc.
terml/makeTerm: Add rewrite() method.

Rough analogue of Haskell Uniplate functionality.