Tuple type added. Rev typechecked.