auto: arbitrarys for link-free and -ful policies

Define two arbitrary instances for atomic policies: one that includes
links, the other doesn't. Now the other arbitrary instances take an
arbitrary atom instance instead of unit, and call that everywhere they
used to cal gen_atom_pol.