Heptonation

Heptonation refers to the function $$a\ \{\{\{\{\{\{\{1\}\}\}\}\}\}\}\ b = \{a,b,1,7\}$$, using BEAF.