Avoid const in favor of lift-η-const.
Avoid const in favor of lift-η-const.

This commit prepares for changing the type of const.

Old-commit-hash: d7ebdbeb22d70fa60c6ce08ebf4832f56797b59a

inc-lc/ilc-agda