Type Inference for COBOL Systems