- Better inherit relationship between Cons and EvalObj
- Replace many `dynamic_cast` with `static_cast`