One can think of FINAL as a generic interface to which one can either establish finalizer procedures for the ranks of objects to be finalized or an `ELEMENTAL’ procedure.
As shown in the original post, the generic interface only has finalizer for a rank-0 (scalar) object.