Add Monadic Try construct to the Stainless library

[samuelchassot]

No description provided.

[samuelchassot]

An inline version of the flatMap function works well, but only with Dotty, not scalac.

inline def flatMap[U](inline f: T => Try[U]): Try[U] = this match {
      case Success(t) => f(t)
      case Failure(exc: Exception) => Failure(exc)
    }

[vkuncak]

It should work to remove the BigInt import as BigInt should be visible by default.

[vkuncak]

Why do we import scala.collection.immutable.Range.BigInt ? I did not see this in other Stainless programs.

[samuelchassot]

indeed, that was imported automatically by metals and I didn't spot it.