Added generic form of desugaring functions
Forgot to actually add desugaring function
Adding desugar