Sugar.Convert.Infer: structure first, variables second
Infer.inferWithVariables in success case is free to ignore conflict fields
Sugar.Convert.Hole.accept: accept inferred value of post-structure infer