stage two generics done!
added tbind
added map2 map3 filter and for-each
set-check modification