Worked on translation rules for set union/ set intersection for new
'implementable' set type.