more functions in Substitutions
hash functions invariant by var renaming
list of modules in README
variant checks, hash modulo renaming