Merge branch 'linear-types2'

This merges the conditionally-accepted linear types proposal, as
the remaining aspects of conditional acceptance are all implementation
oriented. (Indeed, *all* accepted proposals implicitly have similar
conditions, but given this proposal's magnitude, the conditions are
explicit.)