Who Cites col?
col	Def Collection(T) == TProp
	Thm* T:Type{i'}. Collection{i}(T) Type{i'}

Syntax:

Collection(T)

has structure:

col{i:l}(T)

About: