If

Exports

• SumitType
  $[]$:	(C,O) $\to$ %	build a conditional object
  coerce:	O $\to$ %	make an object with condition Always
  condition:	% $\to$ C	condition associated to an object
  if:	(C,O) $\to$ %	build a conditional object
  never?:	% $\to$ Boolean	test if it the condition is Never
  object:	% $\to$ O	object associated to a condition