Type test to readme

Builds on #35, #36, #37 to add a type test to the README