Integer Casting

TODO(adbenson): finish writing these

Explicit vs Implicit Casts

Casting Between Different Sign

Casting Between Different Size

Casting Between Different Sign and Size

Arithmetic and Comparisons