Refactor +,* rules into env-fns in layer2.

This will reduce code duplication in layer2.
I'm still wondering if I can do this more transparently.