Convention for error reporting and aborting

It would be nice to have some agreed upon convention on when to use which kind of error reporting:
https://github.com/effekt-lang/effekt/blob/430369f402d78abdc70486ad8d38d54a8cb24060/effekt/shared/src/main/scala/effekt/util/Messages.scala#L115-L134
When should something `abort`? When should something `panic`? When to just `report` an error?

Related to this, what is the contract of calling a `run` function of phase? Should the caller check whether the previous phase reported an error by check if it returned `None` and then `abort`/`panic`, or rather should each phase (callee) handle their own errors appropriately and in turn do not return `Option[A]` but just `A`?

```scala
class SomePhase extends Phase[A, B] {
def run(...)(using ctx: Context): Option[B] = {
// ...
ctx.report(...)
None
}
}

// or rather

class SomePhase1 extends Phase[A, B] {
def run(...)(using ctx: Context): B = {
// ...
ctx.abort(...)
}
}