Implement evalHeadTerm, evalBodyTerm, eval2 and evalCall

[flix]

Implement evalHeadTerm, evalBodyTerm, eval2 and evalCall

[mhyee]

What's the implementation for TypedAst.Term.Body.Wildcard? An error?

  def evalBodyTerm(t: TypedAst.Term.Body, env: Map[String, Value]): Value = t match {
    case TypedAst.Term.Body.Wildcard(_, _) => ???
    case TypedAst.Term.Body.Var(x, _, _) => env(x.name)
    case TypedAst.Term.Body.Lit(lit, _, _) => evalLit(lit)
  }

[magnus-madsen]

I think there is a small mistake in the AST ... that is... Wildcard should not be allowed here. Until I am sure, let us just throw and exception and put a todo assigned to me.