WYCS: need to improve type checking of tuples.