Document the new type check templates.