Fix a regression in APPEND type derivation.