Add specs of frozen string and number for #dsl_eval_immutable
Add documentation of #dsl_eval_immutable
Refactor #exec_in_proxy_context into private module Execution
Mark proxy classes as @api private
Improve documentation