#KJ-99 Rewrite the rules to syntactic form (method invocation). Corrected an older problem that was exposed two commits ago. Side-effect of the fact that Id is no longer KResult.