[ more ] addWithCarry for I

Thanks to the Data.Word16.Arithmetic I just pushed. Also, safe
coercions thanks to the Included type class.
[ more ] read from / write to memory