Returns a new list that is pre-sized to size, or emptyList if empty. The list returned is never intended to grow beyond size, so adding to a list when the size is 0 is an error.