finished Subtyping chapter (Sub.v)