Added Main.str target
Switched to use LblDef (from Label) in lexical syntax.  This allows the production to be a Label.
Lots of changes simplifying constructor names (moving away from unique constructors for each production) to make rewriting simpler.  Rewrite rules can easily take advantage of arity of constructors.
Added ofp-simplify and ofp-to-rose targets.
Initial version.