fix subtyping rules for use-site variance