fixes in FoLiA Set Definitions