Updating: renaming add3 to mapto2; fixing mishandling of funarg with no annotation.
Updating: initiating libats/gvector and libats/gmatrix.
Updating: improving libats/linheap_binomial.
Updating: minorly modifying.
Updating: improving libats/gvector
Adding a few functions to gmatrix.