symbols are now arbitrary length strings