Add papers on parametricity
Add more papers on strictness analysis
Add new biblio for systems-related PL papers

I just added here some new papers - I'm not planning on eagerly
collecting here relevant papers in other biblios of mine.