formatting
Simplify RenderPuzzle type.

Both puzzle and solution renderer should always be
applied to the same argument, so better make the
type imply that.
export list for Puzzle
cleaning up types in ReadPuzzle
Make combination of reading and rendering as clear as I can.