more bugfixes on data type operator semantics: earlier workarounds have been cleaned now

No match.