check for repeated variables
desugar SVal
desugar SDecl
desugar STerm