Take control over high-level interpreter interface
Unmangle names when printing evaluation results
Partially fix missing _n variables issue