pattern matching with non-patterns need better error messages

[lutzhamel]

Pattern matching with expressions that contain expression that are not constructors like,

let 1+1 = 2.

need better error messages explaining that patterns with containing functions are not admitted.