Sources of Syntaxes with Binding, Their Programs, and Proofs Compilation Agda (2.6.1.3) Standard Library (1.5)