fixed small typename template bug
losen arg restruictions on Set<> intersect/sintersection code