WIP: `Task.add_decl` should not necessary fail if task already has a goal

This is done using an optional argument. If this argument is set, add_decl does simply retuens the task unchanged