I noticed that arrget and arrset seem to be absent from ATS, though there
is an implementation provided at
http://www.ats-lang.org/DOCUMENT/INTPROGINATS/HTML/x3427.html
Just curious if that implementation of arrget is still the preferred way to
go for starting out with linear types and arrays?