add Data.Map example, generating and checking that trees are balanced
add more tests for Data.Map