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