Adding syntactic validation for system->module
Merge branch 'semantic-validation' of github.com:QScience/Patterns into semantic-validation
Removing call to return