It seems that these types should simply be removed in favor of just using the builtin types, regardless of what the builtin types are called, since they are always equivalent.