Fix expansion of records in maps

Records were not properly expanded in keys in patterns and in arguments in
map updates.