Who Cites col singleton?
col_singleton	Def < x > (y) == y = x T
	Thm* T:Type, x:T. < x > Collection(T)

Syntax:

< x >

has structure:

col_singleton(T; x)

About: