🏷️ types: move to ty#24

SigureMo merged 3 commits intomainShigureLab/expr-simplifier:mainfrom

copilot/move-to-tyShigureLab/expr-simplifier:copilot/move-to-tyCopy head branch name to clipboard