Returns #t if each bag other than the last is a proper subbag of the following bag, and #f otherwise.