Added python/typescheck.py and Presentation/reveal.js.md