We need bidi_types all over the place (in joining, in shaping, ...), so

We need bidi_types all over the place (in joining, in shaping, ...), so
make them mandatory.  As a consequence, many of our functions don't need str
anymore:  they just need this bidi_types.