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

The applications become very unreadable if they are not explicitly scoped.
Merge pull request #14 from knuton/less_notation_hackery

Less notation hackery