some renaming so things make sense
some notes about nodes and terms and expressions
rolled in latest dim setter changes.
broke out some parts of a program into separate class.
another reorg. halfway done.
added some test case structure
high level reorg complete. still need to fix expr and canonicalization