Extended overloading semantics by the RVM interpreter also with value
constructors.
Merged.