kframework/k — pull request #438 by dwightguth (2014-05-13 14:38:03+00:00)
Title: Unified builtins2

I decided to do the same commit on unified-builtins2 separately and then merge afterwards, rather than trying to merge before Andrei's change is merged.

@andreistefanescu please review again.