Temporarily disable type-erroring

and tighten some code

src/schala_lang/eval.rs

@@ -167,14 +167,12 @@ impl<'a> State<'a> {
     use self::ValueEntry::*;
     match self.values.get(&name) {
       None => return Err(format!("Value {} not found", *name)),
-      Some(lookup) => {
-        match lookup {
+      Some(lookup) => match lookup {
         &Binding { ref val } => Ok(val.clone()),
         &Function { .. } =>  Ok(FullyEvaluatedExpr::FuncLit(name.clone()))
       }
     }
   }
-  }
 
   fn eval_binexp(&mut self, op: BinOp, lhs: Box<Expression>, rhs: Box<Expression>) -> EvalResult<FullyEvaluatedExpr> {
     use self::FullyEvaluatedExpr::*;

src/schala_lang/mod.rs

@@ -75,8 +75,10 @@ impl ProgrammingLanguageInterface for Schala {
       },
       Err(msg) => {
         output.add_artifact(TraceArtifact::new("type_check", msg));
+        /*
         output.add_output(format!("Type error"));
         return output;
+        */
       }
     }