fixed importing of value domains, added few more constraints which are supported. dropped avoiding name conflicts.