Update the layout of Algorithm 3.1.

Previously, it was mixed between some words and some pseudocode.
I've removed the pseudocode and phrased it all in sentences,
which also shortened the box.
Add a full-stop to Defn 3.7.
Update two inconsistencies in referring to the Frobenius structure.