Revert "Oops: srMActions should come from non-post-processed converted hole result"

This reverts commit efc8ca2b7fcc53d21641cd918b6441ccbcb0c68f.

Revert "holeResultInferred -> holeResultExpr"

This reverts commit 368ec82a56c54ef3c57900be030e4fd4938f748c.

Revert "Convert comes from Sugar.Payload, not from Sugar.HoleResult"

This reverts commit bf0f0132b5474ddd01abff0c72ca21d9f2716769.
ExampleDB: Add Maybe/Nothing/Just