Make all integers in the Guide `i32`

This is a better default than the old `int` which should be thought of
`intptr_t`, except for its name there is basically no reason to choose it in
the Guide.