Added formalization of desugaring mechanism. Explanatory text stil missing. Also added bibliography.