oquechy/TAPL-Arend

Arend formalisation of Pierce's TAPL