Clarify and rename some error types

[cmyr]

This tries to better differentiate three possible error conditions: when something is impossible, when something is unimplemented, and when something requires a missing cargo feature.