Comprehensive wrapper for covariant immutable Seq of Scala library

[vkuncak]

Without any verification of implementation, we should implement a wrapper for most classes and methods of the Scala library, as much as it is possible with Stainless and type encoding.

One could even make this available by default with import stainless.*

This is substantial work but would improve usability of Stainless.