Constructor name (with value True) added to the generic contexts

This allows for making generic contexts with multiple
constructors, as in #16