Define compatibility in terms of weak conformance

Review by @odersky