subclassing induces subtyping, pass 1