CuteCAS

Work in progress towards Risch

added config to speed-up VS Code f* assistant

updated tools and transforms

Started working on Risch; updated plan & ai docs

Matrix theorems; Yun's algorithm; refactoring+util lemmas