Text this: Point-free Construction of Real Exponentiation