Merge pull request #2 from preillyme/master

Getting the type checker running