Term definitions

changed milestone to %Alpha release

added Doing label

assigned to @v-lafeychine

created branch 2-term-definitions to address this issue

mentioned in merge request !2 (merged)

added Stuck label and removed Doing label

added Doing label and removed Stuck label

added Kernel label

added To review label and removed Doing label

As a comment for the future (I hope you are all doing well), the approach used to resolve this issue uses the worst of both worlds: all terms are boxed, which prevents sharing the data structures, and mutability is not used either. This is not a problem, as future optimisations will be done on term representation.

closed with commit 002c018c

closed with merge request !2 (merged)

mentioned in commit 002c018c

removed To review label

mentioned in commit 1c853489

mentioned in commit ec8fb35f

mentioned in commit dedd9d2e