Fix MaxCounter DeepFrz instance and made some comments updates
Add documentation warning about the Eq/Ord backdoor.