Thanks for the summarized analysis Magnus. The syntax for defining and using refinements looks very clean. I'm looking forward for this feature to be included natively.