Import Everything in README.agda, like for Agda std-lib
Import Everything in README.agda, like for Agda std-lib

This way, typechecking README is a sufficient test.

Old-commit-hash: 80911907efcde157dff2d2b80039bcbc2f0fd6fa

inc-lc/ilc-agda