major revisions

project reorganized. expressions revised. new types added. new examples
added.
Organized repo. Major revisions in progress.
expressions revised. new types added. new examples added. repo reorganized.