Teach QuickSpec about Maybe.
New examples.
Print signatures more nicely when using background theory.