fiddling with formatting
We don't use ScopedTypeVariables here
remove more unused extensions
everything here is rank-1
these modules don't use the Constraint kind
and we're not using CPP here
not using type families
random formatting changes
Merge commit '3a6984d'
Merge branch 'master' of github.com:ermine-language/ermine