Add Jan to list of active developers
Fix MartelliMontanari unification
Remove comment
Add instructions for fixing UnifyingResolution
Bump Scala version
Fix type erasure warning
Remove unused dependency
Remove hidden imports
Update pom
Merge branch 'Skeptik-upstream/develop'