Fix #791: Allow default arguments for facade type constructors