Add if Pattern and Type pattern

[phlegmaticprogrammer]

Two pattern types should be added:

pat if expr pat : Type

with the obvious interpretations.

[phlegmaticprogrammer]

I have added the if pattern construct, but I am not adding anything type related for now. Types are important and should be carefully thought about, for example with regard to Soft Typing, and how Typing within the logic works.