Type Reconstruction for the Linear pi-Calculus with Composite Regular Types (Logical Methods in Computer Science, 2015)