Adds refinements
Refines expressions