Fixes several issues in the new AST term structures#7

Merged

unp1 merged 1 commit intonewTermASTStructurefrom severalFixes

Oct 23, 2023

+100-98

Commits on Oct 21, 2023

Several fixes. Temporarily moved modalities caching into static HashMap
unp1
committed