Add information about constructor exhaustiveness

The IL2 compilation now keeps a list of all declared constructors of a
type with each constructor (alongside its tag). This should allow an
exhaustiveness checker to be written, although right now it just returns
false.