k-Semantics: fixed minor bug in semantics. fixed syntax errors in example