Refactoring type hierarchy and adding documentation

Adding documentation for abstract syntax

Removing warnings for returns in secondary constructors

Removing assertions in call and eval

Refactor type hierarchy for abstract value

Adding comment for secondary constructor returns

Rewriting widen as abstract method

Removing original widen

Resolving conflict

Removing abstract widen

Author: EnzeXing