add Product, Tuple, T
fixes
add Tuple4
exceptions and more