Untyped Constructor parameter should output proper error (fix #41)

A few remarks:
- I should refactor the tests from my recent PRs for those that are applicable to the dynamic injector only. It would be better to create an other test files,
- The checks are currently done when the type is instantiated, I think they should be implemented in the `Module` 

If you agree, the better might be to merge all my recent PRs and then I'll rework all the code in a PR next week ?