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.