Split out some of the tests in test_user_types.cpp.