Text this: A coalgebraic treatment of conditional transition systems with upgrades