First steps towards Semantic Analysis. 
Scope Checker added, utilizing pattern matching. 
Test cases included.
Parser enhanced with support for 'sugared' collections.
Minor changes in calculus to enable Variable object equality.