Remove moved files
Add Math extension as submodule