Tried to simplify the constraints.

Did not really get simpler, got rid of some 'a ~ Scalar'.
This became necessary.
Another try to remove some constraints.
Removed some more constraints.
Removed superflous constraints.