Scala 3 SIP `main` method proposal