Finishes the let section
Adds references to def section
Adds more references