Implement extract/insert for pack and expressions of pack