Renamed 'lv' to 'lval' to distinguish it from lifetimes. Renamed 'rv' to 'rval' to match 'lval'. Added hypentation in names like 'lvaldeinit' for readability.
Revert "Renamed 'lv' to 'lval' to distinguish it from lifetimes. Renamed 'rv' to 'rval' to match 'lval'. Added hypentation in names like 'lvaldeinit' for readability."

This reverts commit 10b4e1d62b15e93bbf6fea14f92895ba6731b5ba.
first iteration of typing. supports variables, integer arithmetic, assignment, sequencing, shallow destruction, and blocks sans lifetimes. requires destruction of variables before they go out of scope in order to typecheck
Merge pull request #3 from anasazi/typed

Initial iteration of typing judgment