* Added a discussion of set-theoretic models of subtyping to the prototype
Adds subtyping to strict mode.