Corrected old bug: now several numeric patterns in one pattern match possible.
Corrected head-of-empty-list bug introduced in previous commit.
Correct bug in export list; don't export sharing variable if arity known.
Fixed bug in transforming data constructor application and handling list cons.