Fixes from new TypeScript, 2 bugs in Core, Todo app polished, and some small fixes