Lambdas match on pattern expressions

i.e. inPattern should be true so that lambdas can have @-patterns, in
particular.
Merge branch 'master' of github.com:idris-lang/Idris-dev