importing realizations into realizations

[kohlhase]

Realizations often come in modular groups, where higher realizations build on lower ones. See smglom/algebra/source/thm/cartspace-*.en.tex, (and continuing in smglom/linear-algebra). In MMT we allow inclusions between realizations, but sTeX cannot do that yet.

This should be changed!