> linear/affine types and a perceus reference counting

You should put these up front also.