Removed promote_rule, seems to work against me.
added names-specific treatment of sum, prod, minimum, maximum