element_children() only returns keys

element_children() internally builds an array of children but then calls array_keys when returning. So users that want the children have to resort to:

$children = array_intersect_key($element, array_flip(element_children($element)));

Instead should be a function to return the children (or alternatively an extra parameter the decides wether to only return keys).