test overloaded relations (see ticket #427 Overloading in Try52.adl)

By running test program Tests\ShouldSucceed\Try52.adl as a prototype,
(execute the command "Prototype --verbose --haskell -pD:\htdocs\klad Try52.adl")
you can see that overloading does not work properly.
However, the generated file Try52.hs, which shows the F-structure in Haskell,
shows that mistakes are located behind the F-structure, i.e. in the prototype generator.