Added contribution
Disabled timestamps, fixed compress call, changes to lowercase output
Added almost-complete rectify supports, needs non-terminals