Add a small amount of tests for types package