Parse as-patterns and type signatures in patterns.