We discuss additional details and alternatives in the formulation of
contextual evaluation. This will lead us to examine the operational
semantics of Elf in more detail and, in particular, which kinds of
equations are solved effectively and which are carried along as
constraints during evaluation.