Document alternative type annotation form