Formal Approach

evaluation function evalB, simulate function to look ahead, and trivial
forwardEval AI. Also, some substitutes in previous AIs for improved
trap prevention and defensive strategy. NEXT: fine-tune evalB, and
minimax algorithm