Updating: improving contrib/SMT/Z3/.
Updating: improving ATSLIB/libc
Updating: improving ATSLIB/libc
Updating: very minorly fixing.
Updating: improving contrib/SML/Z3/.
Merge branch 'master' of github.com:githwxi/ATS-Postiats
Updating: minor misc.
Updating: improving libc/fcntl/.
Updating: improving ATSLIB/libc/stdio.
Updating: improving ATSLIB/prelude/filebas/.
Updating: tidying up.
Updating: adding libats/dynarray/.
Updating: improving libats/dynarray/.
Updating: libc/dirent/.
Updating: improving libc/dirent.
Updating: properly handling listnil-like constructors.
Updating: fixing ATSPATCKcon for nullary constructors.
Updating: improving libats/dynarray/.
Updating: improving ATSLIB/libats/dynarray/.
Updating: adding an example.