More functions, fixed the bubbler, added formal symbols, more tests.