Move impl-intro to its own file