Adding documentation, tests and an example for multiple constructor
support in generic contexts

This resolves #16