Implementation of the conversion to CPS style (untested)
Fix an error in the representation of types
Track down a null reference