tree type is not valid (contains both atom_type and degree), basic tree assginment where lhs is just an id works
binop for accessing child of tree, corrected function call type to scope_func
lhs tree assignment with child dereference operator appears to be printing out correct semantic analysis with respect to order of dereferencing
added check to ensure that lhs of assignment works for tree binop dereference and not other binops
lhs of assignment for trees now specifies type binop for operator CHILD only (later this will prevent lhs of assignment to be tree addition/subtraction/etc
removed unecessary check in l-value extraction
added unop, pop not tested
fixed return type of unop; added unop to type_of_expr; checked pop operator
added check for tree declaration

possibly problematic in the current solution: When tree degree of tree declaration is verified we do not send back a checked expression. Example: tree <int>t(2+3) has as its degree 2+3 which is an expression. Currently we verify that 2+3 is of type int but we do not return a checked expression. It will be the job of the intermediate.ml to know that they will receive an Ast.expr as the degree.
added SA tests for recent additions
added unop for tree at; added binop for tree/tree action; added tests
added tree/null comparisons with eq/neq operators
check if/else block
added and checked For/While loop; fixed int/float/char boolean operations binop
added break/continue checks to statemet_check with tests
added semantic checking for functions
fixed readme quickstart
Merge pull request #8 from dmb2168/chris_kira_semantic_analysis

Chris kira semantic analysis