-Add :expected-type, :generic-function in stringified-error-prop?
-Don't let unreadable printed representations corrupt the database