Updating: adding support for extval declarations
Updating: changing: extval -> extvar
Updating: minorly tidying-up
Updating: minorly improving
Updating: very minorly improving
Updating: improving documentation
Updating: adding support for
Updating: miscellaneous
Updating: supporting lazy2cloref
Updating: putting in safety guard for using flat arrays in records
Updating: reorganizing a bit
Updating: reorganizing a bit
Updating: minorly improving
Updating: miscellaneous
Updating: reorganizing
Updating: working on projects/ats2langweb
Updating: preparing for the release of ATS2-0.1.3
Updating: setting up atslangweb
Updating: working on ats2langweb
Updating: setting up atslangweb