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)