Kotlin's rich errors: Native, typed errors without exceptions