Added 'isNonTerminalType' check on symbols.
Added a production type to the type checker.
Productions in the store have now production types; productions with
unlabeled symbols are now also added to the store.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git