Add a type system.

We now track the declared type of variables and functions.
1 file changed