misc docs
more docs
Environment edits
misc edits
refactoring
add validation checks for Type hierarchy
Add validation for Expression hierarchy
misc
smarter Let optimisations
optimse Cast expressions
extra optimise techniques
more docs
checks for constant folding optimisations
more tests