Major documentation enhancements and types improvement.