Add symbolic terms to semantic of monadic form.

Symbolic match rule not written yet.