Don't use the WK prefix for internal C++ types