Add checking correctness of component references

It is now checked if a component is correctly instantiated (generic
components with 'new' keyword and parentheses and singleton components
without these elements). Parameters for instantiations of generic components
are also checked. All detected errors are reported.
Add checking completeness of configurations implementations

It is now checked if all external specification elements of configurations are
wired. If not, an error is reported for each element that is not wired.