cons/snoc now create Tup3 nodes sometimes