Fixed bugs: changing the name of a variable updates formulas that use
it, and updated UI tests and normal tests, refactored BottomBar usage so
that it is more universal and simpler.