Adds user-friendliness functionality to NDProofs via error reporting and a help function