refactor the simple unifier in prep for handling sets and vectors of
symbols as the keys of the :when constraint map
handle basic set case and single constraint
show set notation for :when plus vector of constraints
example showing you can constraint two vars together