Change impl argument to a pretty printing opt record
Add ppOptionIst function.
Merge pull request #1183 from pminten/ppopt

Pretty printing option record