Add the type-checking basics
Add simple usage to the README