Issue I was describing in the meeting was just because I was confused on the SumModule extension--doing it as the example worked well. Still got an error with the identity, but it was a very nice error message.
Also I branched for this from the last issue in an attempt to avoid some merging later, but now this pull request includes changes from both issues. I can branch from the main one next time (assuming it's cleaner to have the issues separate).
Issue I was describing in the meeting was just because I was confused on the SumModule extension--doing it as the example worked well. Still got an error with the identity, but it was a very nice error message.
Also I branched for this from the last issue in an attempt to avoid some merging later, but now this pull request includes changes from both issues. I can branch from the main one next time (assuming it's cleaner to have the issues separate).