moved TypeChecker.jl -> src/TypeCheck.jl
wrap TypeCheck in a module
updated README