DONE IN SCHEME : Consider representing a sugared calculus term as an s-expression, with the syntax: S ::= ( (V+) S) | (S+) | V

where + mean "one or more".

Write desugar which takes an s-expression representing a sugared calculus term and returns an s-expression representing the equivalent unsugared term.

For example: (desugar '( (f x) (f (t g g)))) ( f ( x (f ((t g) g))))

Bonus: Consider representing a sugared calculus term as an s-expression, with the syntax s::=((v+)s)(s+)v where mean "one or more". So for example fx.f(tgg) would be represented as the s-expression ((f)x)(f(t)gg))). Write which takes an sexpression representing a sugared calculus term and returns an s-expression representing the equivalent unsugared term. For example