Made further improvements to discussion on subtyping.