k-Semantics: Primitive editor support for examples
k-Semantics: Fixed example, added two new examples