Now using DScalaness/DnesT terminology in the theory chapter. Moved figures around for better presentation.