Text this: From formulas to cirquents in computability logic