Query for single constructor datatypes fails in C++

[fabiomadge]

datatype D = D

method Main(){
  var x: D := D;
  if(x.D?){
    print "D";
  }
}

The generated code won't compile, as the necessary wrapper constructs aren't created.