Tracking Types down the compiler

[mariari]

with #22 we have operations to introduce type variables to the typing context. We should use this for the rest of compilation to better compile addition mod some number.