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