let monoscheme ?pos header =
  Scheme (pos_or_undef pos, [], [], CTrue (pos_or_undef pos), header)