added optimize.scm
added type-checking to arith op
added newsym
added get-proper-func
update type-inference
updated compile-tree-il