Scopes and frames improve meta-interpreter specialization