Public method "_↑++=_" is
[
	var : read tuple/write ⊥,
	t : tuple
|
	var ?= eject var ++ t;
] : ⊤;