merp type checking
Merging what little 'semcheck' to not have to manually update Prashant's changes
merging to pull

Merge branch 'master' of https://github.com/kcecireyes/JIT
added back initialization checks