globally: drop use of WITH-NAMED-LAMBDA-EMISSION: the API changed too much
pergamum: no longer track as a submodule