Do *not* put Singular standard library into SI_ namespace
doc: work on intro