Updated lean arch intro