This module contains copies of the pre-overhaul definitions of the `elab-util` library and/or code derived from these copies
(the overhaul is this one: https://github.com/stefan-hoeck/idris2-elab-util/pull/56).
This is done due to be able to migrate to the newer `elab-util` slowly, using both old and new definitions.