typed-fsm-0.3.0.0: CHANGELOG.md

# Revision history for typed-fsm

## 0.3.0.0-- 2024-7-25
* Remove the SingI constraints from SomeMsg and AnyMsg.
* Modify the definition of LiftM and remove the SingI constraints.
* RunOperate and runOp both remove the SingI constraints.
* Reason for doing this: When explaining Ast, constraints can be easily converted into proofs, but proofs seem difficult to convert into constraints.

## 0.2.0.1-- 2024-7-22

* Fix getSomeOperateSing
* Improve runOperate