desugaring: remove all Some() from ast
to-c: use desugaring