kframework/k — pull request #610 by grosu (2014-06-15 17:37:38+00:00)
Title: updated simple typed dynamic to work with unified-builtins2

SIMPLE is completely updated now