the entire language is based on linear types! it says so in the GUIDE yes