CallOrTree pattern translation: take the name of a value constructor
from the type to deal with cases of qualified constructor names in
patterns.
Added test related to constructor overloading.