A preprint of the paper Graded Modalities as Linear Types. Not for redistribution. Library may be found at...