kframework/k — pull request #661 by dwightguth (2014-06-24 18:29:31+00:00)
Title: fix some bugs in ListBuiltin

* make CollectionBuiltin abstract
* make ListBuiltin constructors take List
* make ListBuiltin constructor private
* fix bugs in ListBuiltin.of
* Make #noIO not require a list variable