[09-02-13] New feature: type action with effects and preconditions