Finished semantic analysis, modulo bugfixes
Added index.htm testbed