Added call to (run) in type-eval.