added a draft of VerifiedPackable type class