add export toTxt and define external DSL

opening work on an external DSL called reqT-txt