#KJ-99 Rewrite the rules to syntactic form (method invocation). Rewritten method invocation from AST to syntactic form, as well as method parameter. Only touched execution phase, because at elaboration there are maude-backend related problems, similar to those dating KListWrap introduction. Also renamed some terminals using [latex] attribute.