Porting Million Lines of Code from Java to Kotlin at Meta