Properly fix #8

We should compare type-sizes of sum-types, not the number of
constructurs. That is, both a 3 and a 4 constructro enum get
mapped to an unsigned 2.