Use extension .woct for themes; Move d.ts files; Several bug fixes