Finished draft of parametricity.md