Text this: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy