AutoImport of arrow-meta-prelude

[i-walker]

Similar to the std-lib this feature should allow this code to compile:

package test

@Given
val unit: Unit = Unit

regarding the @with proposal it allows this code sample without further imports:

package test

import arrowx.Monoid

fun <A, B>
   @with<Monoid<A>, Monoid<B>>
     Pair<A, B>.combineEmpty(): Pair<A, B> =
         first.combine(empty()) to second.combine(empty())

Ideally, this is implemented in one Extension and not through codegen in Analysis and Synthetic imports in the Ide.

[i-walker]

resolved in this commit