eval
store C and E in same pair
simplify eval
user defined functions
swap C and E order in pair
use NCar instead of Last.Car in sx
tweak user defined function debug printout
add any.any