tests for type search and type maker