move theorems out of finite_mapTheory into (rich)_listTheory

they have nothing to do with finite maps