Annotate variable usages with types.

This fixes a bug where codegen for $i++ on a variable declared as a
native int came out far worse than $i := $i + 1.