A rather larger code change than I hoped; but a lot of good simplifications for working with gtensors; and now all types for tiny synthetic worlds are sets of disjunctions, which it turns out you cannot avoid. Next up: still print types in a simpler way?
A rather larger code change than I hoped; but a lot of good simplifications for working with gtensors; and now all types for tiny synthetic worlds are sets of disjunctions, which it turns out you cannot avoid. Next up: still print types in a simpler way?