Type-Base Static Analysis in Julia

This is currently the code from the TypeCheck.jl package for Julia. I'm considering refactoring it a little this week and/or find a test to add that is different from the tests I already have. (The README does a fair job of explaining current functionality.)