Text this: Computational expressivity of (circular) proofs with fixed points