distinguish atomic types; uniformy tuples
Add paths to denote components of a value
Fixes and simplification for creation/inspection of sums.
Minor