extending segmentator's type-system