Derive Show and Eq for Task,TaskType,TaskManager
Add task addition methods with reachable/unreachable status
Port specs for taskmanager from level and extend