#KJ-99 Rewrite the rules to syntactic form (method invocation).
1. Rewritten as much as reasonably possible. Finished.
2. Fixed a serious design bug - Id was mistakenly subsorted to KResult before. Eliminated this subsorting.