The extended library is invoked by lib(ech). Given that it is now integrated into the compiler. It can be invoked from a file that contains CHR code, as :- lib(ech)., as long as this occurs before the CHR code.
lib(ech)
:- lib(ech).