Text this: Loop-invariant Optimization in the Pifagor Language