Allowing refinement of expressions