Update README.md

* preprint for Tracing Compilation by Abstract Interpretation
* preprint for Counter-Factual Typing for Debugging Type Errors
* extended paper for Modular, Higher-Order Cardinality Analysis in Theory and Practice
* preprint for A Trusted Mechanised JavaScript Specification
* extended version of Partial Type Signatures for Haskell