Lot's of cleanup work, added basic typing structure.
- added ambiguous type
- organized expressions and statements
Bug fixed problem with assignment scoping.
Fixed author names in files.