let intern_scheme pos tenv name qs typ =
  let fqs, rtenv = fresh_flexible_vars pos tenv qs in
    Scheme (pos, [], fqs, CTrue pos, 
            StringMap.singleton name 
              ((intern pos (add_type_variables rtenv tenv) typ),
               pos))