Desugar and lint properly (and add the example)
Commuting conversions
Make most tests pass

PUnpack is broken, and the sf.mx needs to be attended