Adding subtyping in docs.