Proposal to Add Implied Instances to the Language

See: Principles for Implicits in Scala 3