Remove PrettyPrint

Ghost Userrequested to merge
remove-pretty into master

PrettyPrint has been made obsolete by Printable.

This MR removes it and updates SortsSpec to use SomeFunctor.

Edited by Ghost User

Merge request reports