Re-implemented desugaring of data -> type in a stepwise fashion
Deleted commented code
Started typing rules for ADTs
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega