Making PPMPF_TMAP example deploy PPMPF_TFY and its metahandlers.

The implementation of PPMPF_TMAP is now dependent on its ppmpf typeid
"type" metahandlers for its functionality. It dispatches correctly to
either safe / unsafe tuples. Conceptually dealing with issue #18. The
last step will be to add expression support to the metahandlers, thus
resolving issue #20 definitively as well.