Initialized extensible_rows from algorithm_w.
Added an implementation of type inference for extensible rows with scoped labels.