Change hyperref package into cleveref

The current king of the referencing packages in latex is cleveref. However, we are still using hyperref. I vote to change.