Using a PPMPF_TMAP prototype with ppmpf typeclauses.

Added to ppmpf typeclause tests as well, PPMPF_TMAP is an implementation
of the high order PPMPF_TUP_MAP and PPMPF_UTUP_MAP that makes use of the
ppmpf typeclauses produced by the PPMPF_STUP and PPMPF_UTUP constructors
for said ppmpf "types", per issue #6. PPMPF_TMAP can compose safely with
itself as well and always returns the correct ppmpf typeclause.

PPMPF_TMAP can be extended into an implementation taking into account
ppmpf typeclauses of sequences as well. That is the final goal within
this particular branch.