AppendCol adds a new column to the end of the sorted list. The column can already exist in which case it is simply moved.
(col Col)
source not stored for this graph (policy: none)