Now using some basic core logic stuff to figure out if something is a set
Adds an "equalo" relation that checks that all items in list unify with themselves

This is a silly name, probably needs a better description. However, it
allowed me to express the constraints of what is a valid attribute in a
clearer way: that is, attributes 'match' for the game of set if they are
all different or they are all equal.