Add bibliography
Add naming, dependent functions/dt part
More examples
clean up
Proposal changes
Add notes
Add optimizations stuff
Add contracts
Contracts stuff
Expand prototype documentation
Expand epic part