Renaming Basic parser into Outer.
Also dealing with some of the comments.
Merge pull request #812 from kframework/basic2outer

Basic2outer