v0.4.1 increase lower bound of base
v0.5 Added CtorCount and ADTNonEmpty