First attempt to add consistent-subtyping