Type checking of comparable, packable, parameteable types.
Comparable: must be checked around comparisons, Set, Map, Big_map.
Packable: must be checked around Obj.pack, unpack
and APPLY
. Checks for APPLY
were already done.
Parameterable: must be checked around 'a Contrac.t
and the entry points.