Formatting the subtyping and consistent-subtyping rules