Fixed caption line breaks
Added citeations
Moved requirements analysis
Converted all listings to float
Misc rearrangements
Finished talking about exposed stencils
Added to type system approach
Added to type class parameter
Associated data families
Final implementation
Usage
Some results
Motivation
Use biber for bibliography
Package shuffle
Run results
decruft
Updated bibliography
Rebuilt pdf