transformPredicates implementation clearified
Support actions translation for typed domains. 
* Also right pddl precondition and effect extraction added