add_plugin (type
	    ADD_TEST
	    CPP_TEST
	    CPP
	    SOURCES type.hpp
		    type.cpp
		    types.hpp
		    types.cpp
		    type_checker.hpp
	    TEST_README)
