Remove subExpressionsThat
Add prisms for Sugar.HoleResultSeed
Get rid of SugarInfer.ntraversePayload