updated reltypes to not combine semantics