adding Set symbols to Data.Set.spec
add value-var binders in enFoldReft