Proper type promotion and conversion.
Type promotion fixes and tests.
Fixes for test framework (sign the transaction).
Keywords for all integer types.
Support for negative literals.