ATS2-0.1.7

## ats2-postiats-0.1.7:

    This is the 16th release of ATS2, the successor of the ATS
    programming language. The compiler for ATS2 is given the name
    ATS/Positats, ATS2/Postiats or simply Postiats.

    The official website for ATS is:

    http://www.ats-lang.org

    ATS-Postiats is hosted at github:

    https://github.com/githwxi/ATS-Postiats

    Major releases of ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang/

    Major releases of external packages for ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang-contrib/

    Here is a list of major additions and changes since the last release:

    1. Improving some error-handling code.
    2. Fixing bug-2015-01-07.
       One can use $tempenver to explicitly declare that a dynamic
       variable should be added to the environment of each template instance
       within the scope of $tempenver-declaration.
       A running example using this feature is available at
       https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-01-07.dats
    3. Adding ATS2TUTORIAL/CHAP_RECURSION
    4. Adding ATS2TUTORIAL/CHAP_DATATYPES
    5. Fixing bug-2015-01-10:
       [pfobj_search_atview] is now stopped by either [lam] or [llam]
    6. Fixing various issues with multi-file compliation via patsopt
    7. Adding INT2PROGINATS/CHAP_ABSVTYPE/LockingAndUnlocking
    8. Bootstrapping via the newly released package ATS1-0.2.12
    9. Adding INT2PROGINATS/CHAP_ABSVTYPE/LinearChannelsForIPC