converter method now recoginize domains of type sort