[POPL Concurrent] Modify ada2 to get MaxTasks as a type argument
[POPL Concurrent] Added code for ada3