rewrite ext-env in interp