feat(hs-src): Add finite maps implementations