Added domain PDDL file. Implemented types and predicates