Changes in Frm.agda and ParTenTerms.agda
-