Add link to Guido's function annotation proposal