support ADTs with more than 2^32-1 constructors
export value in PreludeNat
fix bug in globalization