Prior to https://github.com/NixOS/hydra/pull/856, the `type`-related constraints were a bit too loose, allowing some variations that should have been seen as invalid. This commit adds a test (inspired by https://github.com/NixOS/hydra/pull/856#issuecomment-772820929) to ensure these constraints stay unviolated.