updated type inference
updated types
updated peval
fixed typo in parser
updated impl and added some comments
added comments to compile-tree-il
added comments to scope.scm
fixed wrong usage of case, use match instead