Version 0.7.4

Installation instructions

See https://dominique-unruh.github.io/qrhl-tool/install.html

Changes

• Uses Isabelle2025-2 now
• declare_variable_type now raises error when the existence of a type of the right sort cannot be derived. (But gives a helpful error message explaining how to resolve this.)