Text this: Conway’s Normal Form in the Mizar System