Overlay, evaluateAST partly cleaned up