Module use_trivial_constructor

Functionality for generating trivial constructors

Functions

• use_trivial_constructor
  given a type return the trivial constructor (if one exists)