add base encode.
factor-out eNcode from Universal-binary-function-lookup-table.
add descending vectors for dotdot.