Refactor JContext, exploiting List isomorphism