Better intersection for Intersection
Type edits
refactor
refactor and add predicate overrides
Environment refactoring
Add Def expression and free symbol computation
Add Def expression type
Test and fix "def" expression execution
add "do" symbol
implement kisse for returning environment
Updated tests for def
implement an test "do" expressions