add subtyping comment