List stdlib

This modifies the list function of the Quant module so that they have a contract which is consistent with the logic. This helps to prove properties about these functions.