Tracer: import directives

[martin-henz]

Currently import directives seem to be ignored, and calling imported functions makes the tracer "get stuck".

[martin-henz]

The implementation of the CSE machine can serve as a reference for this feature.