(feat) Enforce soundness via overlapping blanket impl
(docs) Add basic explaination about cryptic error message