syntax bugs fixed in domain, sokoban 1-3 updated for domain