[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups

[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups #58