Create a file for scope-related code. Create a file for type-related code.
Implement basic type-inference. Include types in expressions where currently needed.
Primitive types now correspond with CLR primitive types, rather than ints always.
Fix a few places where types were assumed to be ints.
Null values do not currently work properly.
Fix type inference for binary and unary ops.