Collections: Add new and discard ops

[doug-q]

Currently we use empty list Consts for construction. This is inadequate because we can't put type args in a Const.

We need discard because lists are linear if their element type is. We need a way to consume that type. I'm not sure whether discard should require the list to be empty.