Added LexWith to the lexical language and processed it up to desugar