  We extend the linear {\pi}-calculus with composite regular types in such a
way that data containing linear values can be shared among several processes,
if there is no overlapping access to such values. We describe a type
reconstruction algorithm for the extended type system and discuss some
practical aspects of its implementation.
