clean up the new schedule definitions

This patch cleans up the new schedule definitions as follows:

• Consistently use JobType rather than eqType directly.
• Fix the comments style.

I made this a merge request (rather than a straight push to master) in case this conflicts with pending changes in Grenoble. Unless there are objections, I'll merge this shortly.

CC: @sbozhko @mlesourd @sophie

restructuring/behavior/facts/arrivals.v

-From rt.restructuring.behavior.arrival Require Export arrival_sequence.
+From rt.restructuring.behavior Require Export arrival_sequence.
 From rt.util Require Import all.
 
 (* In this section, we establish useful facts about arrival sequence prefixes. *)