So, when you say that AverageLink shouldn't be bound by the PatternMatcher, aren't free variables always interpreted as AverageLinks as described [here](http://wiki.opencog.org/w/AverageLink>)?