stricter checks after parsing .idl files

[dirk-thomas]

Follow up of #326.

Some examples where the pipeline can be more strict:

• only accept includes at the top level of the file (e.g. no within modules)
• the type of a constant value matching the defined type of the constant