emit constants as their value

This enables more flexible references, where the constant we're referencing may
not have a checker-level variable in scope.