refactoring the grammar a bit to allow let binding annotations to have
unparenthesized arrow annotations