Add lowercase constructor for Partition

[lgoettgens]

Resolves #2298.

[codecov]

Codecov Report

Merging #2467 (7136708) into master (4f06d82) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2467      +/-   ##
==========================================
- Coverage   73.08%   73.08%   -0.01%     
==========================================
  Files         397      397              
  Lines       53449    53451       +2     
==========================================
+ Hits        39061    39062       +1     
- Misses      14388    14389       +1     

Impacted Files	Coverage Δ
experimental/JuLie/src/schur_polynomials.jl	81.67% <ø> (ø)
experimental/JuLie/test/partitions.jl	100.00% <ø> (ø)
experimental/IntersectionTheory/src/Misc.jl	100.00% <100.00%> (ø)
experimental/JuLie/src/partitions.jl	97.34% <100.00%> (+0.01%)	⬆️
experimental/JuLie/src/tableaux.jl	96.82% <100.00%> (ø)
experimental/JuLie/test/tableaux.jl	78.80% <100.00%> (ø)

... and 5 files with indirect coverage changes

[fingolfin]

Fine by me

[ulthiel]

Basically ok, I'm just wondering whether all types are now supposed to be lower case. Here, Partition is really changed everywhere to partition, so there's no Partition anymore!?

[lgoettgens]

Basically ok, I'm just wondering whether all types are now supposed to be lower case. Here, Partition is really changed everywhere to partition, so there's no Partition anymore!?

As far as I understood the big renaming, there should be a distinction between types (Uppercase) and constructors (lowercase), since the latters should be handled as "normal" functions

[thofma]

Thanks Lars!