Revising EBNF Document (Also contained Semantics)

Should be mostly complete, simplified a lot of rules
in the inline level.