Text this: Intermediate forms in high-level synthesis