Infer

The infer module contains the main logic for inferring ML-ready data types.