Properly formatted Scheduler code.
Added a head notion to the Vocabulary.