It seems, you can use the encoders (eventually you must add a small resistor from Encoder to the input clamps of the Driver), but you must enter the right amount in the configuration pages. With the 2000PPR you can make 8000 steps per turn of your spindle. If you have a 4mm spindle, then you can have a maximal resolution of 0,0005mm.