Create sa_problem_typed.pddl