Fix #791: Allow default arguments for facade type constructors
Merge pull request #793 from gzm0/fix-default-arg-constr

Fix #791: Allow default arguments for facade type constructors