Some more types.h++ tests. Some CMake testing cruft (unfinished).