Text this: Timed Operational Semantics and Well-Formedness of Shape Calculus