A Happening-Based Encoding for Nonlinear PDDL+ Planning