Updating: adding ATS_EXTERN_PREFIX.
Updating: fixing a glitch in libatsyntax.
Updating: tidying up.