monomorphisation renaming type variables in theorems before monomorphisation
v0.4.3 repeated monomorphisation
v0.4.3 repeated monomorphisation