Module FlatCurry.Normalize

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.