SI-7393, value classes leave no-ops in bytecode.

Created @pure annotation.

It's private[scala] and marks objects which can be assumed
not to side-effect on load.