Cool initiative!It is probably a good idea to look at what other languages with linear type systems are doing:
http://en.m.wikipedia.org/wiki/Substructural_type_systemMy gut feeling is that borrowing in D will suffer the same problems as @safe without a high level IR that is proven correct. Meaning, if the IR is correct you can add new language features without breaking the type system.
