Text this: Algebraic Meta-Theory of Processes with Data