Add MPStatus type alias, for later.
Comment-out references to workers, for now.
Fix minor syntactic grievances.