Text this: Towards an algebrization of a linear temporal logic