Added a first draft for a hashconsed term, not tested!
This is experimental and will obviously change a lot. It's badly designed with
many redunctant code, but it's only a proof of concept. For now, the idea is to
use it with the de Buijn index to avoid the alpha conversion.
Refactoring
Some improvements
Merge branch 'master' of github.com:ptal/nominal-workbench into hashcons
Draft for de Bruijn indexes
Added .merlin for those interested
Added some cases
Merge branch 'master' of github.com:ptal/nominal-workbench into hashcons
Added a pretty printer for hashconsed terms
+ tests in a subdir of system
Modified hashconsing to use referencing instead of de Bruijn
Added unit tests for hashconsing, still more to test but promising
Merge branch 'master' of github.com:ptal/nominal-workbench into hashcons
Modified the hashconsed terms
Modified tests according to new hashconsing with new tests
Merge branch 'master' of github.com:ptal/nominal-workbench into hashcons