Faster standardization methods for [Int] and String
Define downset.

This also prompted a generalization of shadow and coshadow to accept a
set of permutations rather than just a single permutation.

Also, this commit removes quite a few redundant comments.