This sounds to me that we should make a type of of this and enable the syntax:

  type = types.attrsOf {
    Type = types.anyOf ["simple" "forking" …];
    Restart = types.anyOf ["no" "on-success" …];
  };

what do you think?