Forbid tuples containing void types
Disallow void types in more expressions