Monoid

Exports

• SumitType
  $1$:	%	one
  $*$:	(%, %) $\to$ %	product
  $\hat{}$:	(%, Integer) $\to$ %	exponentiation
  one?:	% $\to$ Boolean	test for $1$
  times!:	(%, %) $\to$ %	In-place product