Improved documentation of include/dai/evidence.h