Insufficient type checking of relational operations

[Per Östlund]

OMC doesn't seem to make a lot of type checking of relational operations. A model such as

model test
  constant Real r = 20;
  constant String s = "test";
  output Boolean b;
equation
  b = (r < s);
end test;

shouldn't compile, but OMC even generates code for it (which of course doesn't work).