remove getVec-getlen in favour of plain subst
-rw-r--r-- 11 .gitignore
-rw-r--r-- 3479 BFF.agda
-rw-r--r-- 16240 Bidir.agda
-rw-r--r-- 5870 CheckInsert.agda
-rw-r--r-- 6485 FinMap.agda
-rw-r--r-- 9416 LiftGet.agda
-rw-r--r-- 4343 Precond.agda