update subtyping