發送短信: Towards a colimit-based semantics for visual programming