Fill in more gaps in function types including new syntax proposal.