Fix refinement for subrepresentation example

[jdbancal]

C.f. https://replab.github.io/book/reps/subrepresentations.html#refine-subrepresentations