Update index.php

Feel free to ignore these. Let me know if you want access to the type-checker, it should be released soon anyway.