Adds Flattenable
Beginning of some neat generalization.