syntactic conversion to taskifier seems to be complete