Type rules for ct.