Consider special-casing "database is locked" exception

[keynmol]

Differentiating this particular error condition from sqlite from all other errors (foreign keys, constraints, schema mismatch) is important, because the usual response to it is to retry.

So it would make sense to give these types of errors an ADT but still surface them to the user immediately as they occur