Fix in parser

[LBonassi95]

Fixed a bug in parser; this allows the pddl (:types} to be a typed list (see the robot-coffee example)

I have also changed one method of automata.py to create trans actions without disjunctive preconditions