Planning with non boolean actions and fluents