cleverref is a successor to autoref and is supposed to be better. Possibly add an option to support it.
