Added checks for recursiveness and redundant productions. Added .sebnf
files.