While I agree that the terminology is sometimes confusing, the term "core" is the term defined in the Arduino documentation
So I am inclined to hang on to it for now.
I installed the Digistump core you were referring to with the Digispark Guide, and after installing that I had no problems compiling your test sketch. So maybe your installation got corrupted indeed. (I am also using Win10 on a 64bit machine).