kframework/k — pull request #531 by yilongli (2014-05-31 18:43:03+00:00)
Title: Persistent data structure for builtin collections

Not finished yet. Creating a pull request to test it. Need to do the same thing for ```BuiltinSet``` and ```BuiltinList``` as well.