Add basic logical maps and doc improvements

- Add the following new logical maps and map adaptors:
* TrueMap, FalseMap
* AndMap, OrMap
* EqualMap, LessMap
- Improve the documentation for other classes.