kframework/k — pull request #894 by radumereuta (2014-08-27 23:55:19+00:00)
Title: Add Constant class.

Continuation from #882
Let's see what happens.