First scratch on a Unique-id-based cut-elimination
Generalise Seq (add varRef param)
small cleanups
abstract var. Name representation
fiddling with uniques
Add Resolve scratch (old sugar/ToLL.hs)
Rewrite desugarer to target Deriv' Id Id
Test the new desugarer
resolver
Resolver
round-trip evaluator
sync
oops
Fix cuts for Ax, Tensor, Plus
Fail desugaring with cut on non-dual types
cut/cut eval
more evals
Refactor evaluator
Fix some warnings and code tidy
refactor eval
ignore/offer rule
cleanups