Slimmed down the stupid background in parametricity.md
Added explanation of env for ~