Understanding Cobol Systems Using Inferred Types