Documenting new subtyping rules of recursive types