Text this: Procedural Semantics for Hyperintensional Logic