update datalogplus_min example with better comments, explicit checks for...

... consistency and Retracts