Improved complexity of the lists hashing function (O(1))
Slightly improved dot reading
Merge branch 'master' of github.com:ptal/nominal-workbench