Updated documentation
Standardized instances to use Proxy constraint
Added strictness annotations to enum functions
Renamed ListT functions and updated documentation
Added CodensityP