refactor map
move fold to bottom
generalize map from MTree[Int]=>MTree[Int],f: Int=>Int to MTree[A]=>MTree[B], f:A=>B
make function layout pretty