Update to accommodate bytecode changes in libsol, new evaluation rules
for literals.