Sam: improve documentation
Track: put error types in `Error`