Adapt some show functions

[lgoettgens]

Resolves https://github.com/oscar-system/Singular.jl/issues/798 (at least most of it)

cc @fingolfin

Changes:

• use terse at many places with recursive printing
• use is_terse instead of querying :supercompact. There are not "new" terse printings introduced
• add some LowercaseOff() in front of the word Singular (x-ref https://github.com/Nemocas/AbstractAlgebra.jl/pull/1680#issuecomment-2074906032)
• decapitalize some words inside of strings
• make the printing of sresolution online to make it prettier in tuples, vectors, etc.

This needs a Nemo release that is compatible with AA 0.41.0