Added simplifications of Ligodity for lambdas, sequences and conditionals.

Enabled in parser a type annotation on lambda parameter, and lifted the existing type annotation in patterns to become that type annotation.