Negated fluents - negation is removed and uses FalseNext instead.
EntityType enum moved to common package, Nodes also have getType() method that returns corresponding EntityType
Arrow labelled for Fluents