anchor.diff:  
         timeout = mkOption {
           default = 5;
  +        type = types.int;
           description = ''
             Timeout (in seconds) until GRUB boots the default menu item.
           '';
  
positive.code: 
        enable = mkOption {
          default = true;
          description = ''
            Whether to enable the GNU GRUB boot loader.
          '';
  
negative.code:       version = mkOption {
          default = 1;
          example = 2;
          type = types.int;
          description = ''
            The version of GRUB to use: <literal>1</literal> for GRUB
            Legacy (versions 0.9x), or <literal>2</literal> for GRUB 2.
          '';
        };
  
        device = mkOption {
          default = "";
          example = "/dev/hda";
          type = types.uniq types.string;
          description = ''
            The device on which the GRUB boot loader will be installed.
            The special value <literal>nodev</literal> means that a GRUB
  