Record names in symbol context now become symbols