Fix #791: Allow default arguments for facade type constructors

Hum, actually, wouldn't this crash if you have only a top-level object that does not have a companion class at all?