Made sure the calculated method typings are well-formed by adding subtyping constraints between a method type and its overriden method type.