Added CPS-transformed data types and some instances