Change prune algorithm using monad instead of term equality
Progressing on type unification