NXP-14811: rename Count into cardinality start type cardinality impl
NXP-14811: create a new checker for type cardinality