defaultOptions isQuiet optColor optDefType optDet optEquiv optHelp optIOTest optKeep optMainProg optMaxFail optMaxTest optProof optProp optSource optSpec optStatFile optTime optVerb options processOpts putStrIfDetails putStrIfNormal putStrLnIfDebug withColor