This module contains operations to transform FlatCurry entities into some normalized form so that they can be easier compared for equivalence.
For instance, a type expression is normalize by replacing type variable indices into a uniquely enumerated form.
Author: Michael Hanus
Version: May 2021
Normalize a type expression by enumerating the type variables starting from