Add case study to runtime section, and add initial draft of compile-time section.
Add case study to runtime section, and add initial draft of compile-time section.

tzlaine/type_erasure,tzlaine/type_erasure,tzlaine/type_erasure,tzlaine/type_erasure