Fix expansion of records in maps

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