I’ve pushed an improvement to the way define-values is split into separate defines.

There was room for further improvement, because foo and bar were not recorded as constants for cross-module optimization. And thinking about that reminded me that I hadn’t done anything about constant folding for cross-module optimization.