pub type HilbertSchmidtOperator = (Compact, General, DiscreteSpectrum);
Properties of a Hilbert-Schmidt operator.