Rosetta 2 creator leaves Apple to work on Lean full-time