renamed a few operators; more efficient code generation on quote
initial value definition for the new style (mostly the same as the old one)