change tuple and list semantics for tree

Whereas tuples are immutable and lists are not I am suggesting a change in the semantics of tree: lists of rules should be minimized and tuples of rules should be applied in sequence ("immutably giving a single answer").