Generation of Constructors

ensure that all required constructors are generated (currently, there is no test for this)