Fix #791: Allow default arguments for facade type constructors

OK fine, then.