removing DSL from TopLevel