Add explicit export in Infer module, remove unused code