Added 'types' module with tests.