let fresh_rigid_vars = 
  fresh_vars Rigid