Added unbalanced tree implementation of finite map