An object doing exhaustive mapping of typedtrees