kframework/k — pull request #774 by dwightguth (2014-08-01 16:36:47+00:00)
Title: fix some bugs to make stuff more explicitly bound

@cos please review