Added new abstract syntax expression Fault, to signifit failed pattern matches
Now desugaring Aliases