Update Syntax.hs