- TODO: missing positive semantic tests for all types except bitstring
- TODO: missing negative tests for universal charstring