Refine design for expressive MV binding; separate immediate-eval as an op