progress in subtyping chapter (Sub.v)