Added desugared syntax option
pattern name binding example
Added ambiguity in the syntax again. Now succesfully disambiguating after name analysis