Hashing for types (ast-typed)
type:internal
For LIGO developers
This MR introduces derivation of hashing of types. Before printing errors, some types are improved by hashing the whole context and then finding occurrences of known types in the types to print (see changes in tests).
Changelog details:
Edited by E. Rivas