minor
improved SqCompsMi
fixed the construction of iL (the list of sequences of sequences) so that it uses sharper bounds, bounds which work only if we can stick to thinking about monomials.
minor