Add Stdlib.Data.Result and find in Stdlib.Data.List

[paulcadman]

This PR adds implementations of the following, with corresponding tests:

• An Result type with associated functions to the standard library.
• A find function to Stdlib.Data.List

Requirements for both arose when writing Anoma applications.

NB:

Adding the {-# specialize: [1] #-} pragma to find causes the compiler to go into an infinite loop when compiling a find call with predicate const false, e.g

find {Nat} (const false) [1;2;3]

So I've omitted that for now and I'll raise a separate bug, I suspect I was using the specialize pragma incorrectly.

[paulcadman]

The formatting check is failing because of:

• juvix format breaks else clause in multiway if syntax juvix#2879

[lukaszcz]

As for the specialize pragma, I think it's a bug. The use seems correct, and even if not, it should never loop. Please raise an issue in the juvix repository.

[paulcadman]

As for the specialize pragma, I think it's a bug. The use seems correct, and even if not, it should never loop. Please raise an issue in the juvix repository.

Thanks for the encouragement, I'll raise an issue.