Text this: The Many-Worlds Calculus