Fix inference for unannotated recursive definitions.