Update to the theory section of the user guide
Working towards getting the BasicSingleEc2Spec to run