Instantiate type checker in a background thread (#30)
Merge remote-tracking branch 'origin/master'