move lemma-just!=nothing to FinMap and use it there
-rw-r--r-- 11 .gitignore
-rw-r--r-- 12145 Bidir.agda
-rw-r--r-- 6491 FinMap.agda