Updating the type system and program context typing
- Typing for unary operators
Context typing for
Context typing for pointer equality. Right now we have program contexts
CTX_BinOpR; but they are only typed for operands that are integers or Booleans.
- Add value program contexts similar to how we have value typing for programs.