Describe the purpose of ChangeContexts.agda (see #28).
Describe the purpose of ChangeContexts.agda (see #28).

There are two comments because I intend to split this file.

Old-commit-hash: 300dfd6dac7aaf5155e580a1e8bd4210c72e611c

inc-lc/ilc-agda