The variable TauR in comments about refractory period is changed
to how the corresponding refractory variables are named in the code.
Also, leed -> lead, and a comma added before "defining" in
"A time object r is constructed defining representation", because
it is r what is defining, not the construction.