kframework/k — pull request #890 by dwightguth (2014-08-27 21:25:32+00:00)
Title: strongly fype attributes

**do not review yet**