allow rest type arg for tuples

[HoneyryderChuck]

Proposal to address #1791 : addes a rest_type to Tuple class, which shall be used to type variable size tail elements of tuples.

I just don't know where to add the type checking logic now.