Fix various style and linter problems
Fix some compiler warnings caused by wrong type annotations
Rename demo.html to index.html so GitHub pages work