Multiple changes

- Moved the implementation of Nothing from ./detail to ./utils.
- Documentation update.
Documentation update