An efficient packed Unicode text type
