use CLabel module to give names to CCSs
implement cost-centre primops