F L ] 8 M ay 2 01 8 A Language Hierarchy of Binary Relations