update datalogplus_min example with better comments, explicit checks for consistency and Retracts