renamed stupid ErrProb type
changed representation of 'Prob'