add expanded discussion of dynamic dispatch + typeclasses; some minor style tweaking