Add grammar for function signature type annotations