Enabled automatic insertion of a default constructor. Suppress the generation of unnecessary constraints and variable typings when the empty context is given.