Merge pull request #646 from mattam82/master

y is really unbound in the notation, now an error.
Merge pull request #647 from mikeshulman/hashcons-fix

Hashcons fix
WIP
constant functions
The center of BAut of a set
WIP