Syntax stolen by data kinds and type operators

The following is legal in Haskell2010 but not allowed by GHC's `Haskell2010`.
```haskell
one = \x -> x :: Int $ 1
```
This is because GHC tries to parse it as: `\x -> x :: (Int $ 1)` while the report says to parse this as `\x -> (x :: Int) $ 1`.

Start by locating the Haskell2010 syntax section that defines lambda expressions, type signatures, and the `$` type operator in the revised report. Compare its grammar with the example and verify that the report specifies `\x -> (x :: Int) $ 1`, rather than treating `Int $ 1` as the type; done means the documented grammar and example agree.

Written by the indexing model from the issue text.