#KJ-66 Replace methodClosure() with methodRef() inside <k>. Preparatory step2: Implemented separate sorts for methodClosure and related terms. Typed method closure is no longer TypedVal but TMethClosure. Used this sort as well as MethType whenever possible to simplify future transformations.