Finish symbolvar binding

[dnorman]

As it turns out, binding symbol variables has opened an interesting can of worms regarding the matching of previously-defined analogies, and the representation of matched elements as a Fuzzy set within the resultant symbol. See #1 and #3 for details