Removed IntWidth, now only use LongWidth. Now do width inference for Constants...

Removed IntWidth, now only use LongWidth. Now do width inference for Constants in parser, and correctly subtract 1 (except when 0) when calculating width from num-bits of BigInt