Scala version bump
Bugfixes in subtyping