Thanks for taking another stab at this.

That was what I did at first (mentioned in the PR), but I abandoned that when testing raised issues.

Specifically, while defining sections, I was getting compiler errors (that some type variables could not be generalized) unless I added a type annotation and specified a type for sectionData. Figuring that to be user hostile, I switched to the current implementation.

So I tested this again, that doesn't seem to be the case and I can't figure out why.

There are a few minor corrections to be made, I've marked those.