Type safety and DSL refinements