feat: Allow both raw and refined types in RefinedTypeOps#apply

[Iltotore]

RefinedTypeOps#apply now accepts A with a given Constraint[A, C] instance. Since most of the Constraint instances are non-orphan (aka defined inside the companion object of C or A or Constraint), they do not need to be imported.

package types

import io.github.iltotore.iron.*
import io.github.iltotore.iron.constraint.numeric.Positive

opaque type Temperature = Double :| Positive
object Temperature extends RefinedTypeOps[Double, Positive, Temperature]

//No `io.github.iltotore.iron...` import needed
import types.Temperature

object Main:

  @main
  def testMain =
    println(Temperature(100))

To be completely blackbox (excluding RefinedTypeOps.Mirror), Scala needs to support inline trait/constructor parameters.