Pretty print explains
Merge pull request #18 from nathanlws/pretty-explain

Pretty print explains
Use proper RESTART WITH and better warnings