Try to avoid overconstraining when comparing and/or types

See comments in eitherIsSubType for an explanation what the
problem is. Some test cases are in subtyping.scala
Restored accidentally deleted test code.
Fixed typos
Merge pull request #230 from dotty-staging/fix/and-or-subtyping

Try to avoid overconstraining when comparing and/or types