typing rules
local CPS transformation...