* Big refactoring. Move to a much more explicitly state machine based

  approach.  This makes it much easier to add extra complexity in the
  normaliser / realiser (e.g., build hooks, substitutes).