Polymorphic embedding of dsls