Text this: Domain Specific Abstractions for the Development of Fast-by-Construction Dataflow Codes on FPGAs