Added PA3 Tests. BinaryExpr type fixes.

Binary expr begins to throw errors with invalid types.