Rename types => check in unit tests.
First stab at an improved readme.