move definition of get-type to BFF and use it everywhere
-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-- 9703 LiftGet.agda
-rw-r--r-- 4343 Precond.agda