First implementation of the specification checking

Probably there are bugs around
Renamed method and fixed doc
Added files for checking the spec consistency
Merge pull request #30 from melmothx/feature/checking

Check for dangling specification elements.