Extend evaluator to include named terms in expressions such as 'S = Lx.Ly.Lz.((x y) (x z))'