Record occurrences of constructors

The occurrence collector now records occurrences of constructors;
that is both definitions and invocations. Test have been added for
the various ways you can define constructors.

Fix #1001622