listenDirectiveMatchingPattern
open fun listenDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Substitution.Unifier)
Invoked by listenDirective on a match; by default just forwards to onDirectiveMatchingPattern.