fix #581 loosen constraint on subtypes of contravariant enumerated type