Allow for string and fstring for record names#483

Kv139 wants to merge 7 commits into

BerkeleyLearnVerify:fix_subscenariosBerkeleyLearnVerify/Scenic:fix_subscenariosfrom

Kv139:fix_subscenariosKv139/Scenic:fix_subscenariosCopy head branch name to clipboard