Add "visible" notation to Vars
Remove some of the pretty printing hackiness

The applications become very unreadable if they are not explicitly scoped.