Statistics of Investigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method