feat: Support first order types

[Iltotore]

Add first order types support like ZIO Prelude's wrapAll and variants (option/either/unsafe/...) as well as equivalent methods for RefinedTypeOps and ...Further.

Support for Cats' Functor and ZIO Prelude's Covariant and documentation are still in WIP.

Closes #202

[Iltotore]

@ajaychandran I chose to name the methods with the suffix All instead of F for two reasons:

• I find it clearer (tho it can be a bit less intuitive for single-value containers like Future, Option, IO etc...)
• Names with F are sometimes confusing. For example, the first order version of refineFurther becomes refineFFurther vs refineAllFurther (`refineFurtherF is less confusing but it does not looks very natural to me).