added cleveref support and fixed some translations