feat(planner_v2): add type checker

[wangrunji0408]

This PR adds a type checker to the new planner. It is implemented as an egg analysis. Each Expr node will be associated with a type analysis result, which can be either a type or an error. If a type error is found after constructing a node, the binder will return the error:

> create table t (a int, b boolean);
created
in 0.004s
> \v2
switched to planner v2
in 0.000s
> select a + b from t;
bind error: type error: no function for +[Int32, Bool]

Note that the type checker in this PR is far from complete. For example, it only allows binary operations on values of the same type (INT + INT ✅), and doesn't support implicit type cast yet (INT + DOUBLE ❌). I've added some failing tests to show these limits. They will be fixed in the future.