Update stdlib-introduction.md