Privatize 'var' to collapse one level in the Psi trees.
Add back an accidentally cut '=' on rhs definition.