Correct computation of module contexts for nested functors.#1988

yav merged 2 commits intomasterGaloisInc/cryptol:masterfrom

issue1872GaloisInc/cryptol:issue1872Copy head branch name to clipboard