can now use bare vars (not just empty functions) in atoms