array_bullock··on Austral: A systems language with linear types and capabilitieswhy aren't linear types called acyclic types?