Update exemples. Showcase for a substitution bug.
replace Ident by a newtype and use Eq for equality.
misc changes, remove some warnings.
Fix issues with reduction in normalisation in case of variable replacement.
fix issue with pairs aliases.
Resolve variables during unification of constructors.