A Hierarchy of LOOP Programs over Binary Trees.