Following up on #1718, do the following:

• In the error module docs, reference infallible alignment errors
• In the doc comment for every method that returns an alignment error (or composite error that might be an alignment error), reference infallible alignment errors