Rename FLATTEN functor
To be merged with Rec!3224 (merged), changes of the name for FLATTEN
functor into GET_ALL_BASICS
(see discussion here)
Edited by Miguel Ramos Pernas
To be merged with Rec!3224 (merged), changes of the name for FLATTEN
functor into GET_ALL_BASICS
(see discussion here)