Raise regular Rocq errors with default informative message; usually document managers that have more information about the workspace than rocq compile will override this with a better mechanism / message.