Work on summation inference

[GeorgeR227]

Cleans up the summation inference code. This will now only propagate form types and do basic type checking.

[lukem12345]

@GeorgeR227 Your last few PRs have had spurious changes to lines. I guess this is because of line ending encodings or something. I think you can configure your git client to ignore these.

[GeorgeR227]

I think actually this is to do with hanging whitespace at the end of lines. My git client does tell me if the encoding are different.

However I agree with you in that these are annoying now because they aren't the purpose of these PRs.

[GeorgeR227]

Also I'm moving this PR to #49.

[lukem12345]

I think actually this is to do with hanging whitespace at the end of lines. My git client does tell me if the encoding are different.

Yeah maybe spot check a few of these. It usually highlights when whitespace inside of line is added or removed.

It makes the git blame misleading when tracking things down.

[GeorgeR227]

Yeah this is the case, if you check

DiagrammaticEquations.jl/test/composition.jl

Line 13 in 41df8de

Trivial = @decapode begin

there is some whitespace at the end but if I edit the file in anyway it's removed and caught in the commit.

[lukem12345]

Ok, maybe turn off the aggressive linting setting or just use git add at the command line instead.

[GeorgeR227]

I'll open a linting issue with a reference this problem. We have an issue about this in Decapodes but not here.