agda/...: simplify weakenMore
agda/...: simplify weakenMore

* Inline some definitions where appropriate.
* Remove useless pattern matching on context.

Old-commit-hash: a4c4aee377597f7c17b5fa7d8b1c8a02492041c0

inc-lc/ilc-agda