Improper detection of iTask constraints

The Tonic compiler wrongly considers UserActions to have an iTask constraint, while TaskCont does not have an iTask instance.

:: UserActions r o a :== [TaskCont (Room r o a) (Task (Actor o a))]

moveAround :: (Actor o a) (UserActions r o a) (Shared (MAP r o a)) -> Task (Actor o a) | iTask r & iTask o & iTask a & Eq o
moveAround actor actions smap