Documented new type assertions