idea: project files update
KJ-4 Convert typed expressions into expressions with casts.
Intermediate working version. First time since i started work on this task and helloWorld works. Many other programs work too. Mainly the following changes have been performed:
1. Added 2 rules that convert TypedExp into cast at runtime.
2. Removed ::Type annotation from most runtime-related rules if LHS of :: is an expression, not a RawVal. The logic of type annotation is in most cases performed by the surrounding cast.
3. In a few cases when a numeric expression needs to know the result type, as is the case for bit-shift operators, the type was computed at runtime based on the type of LHS of bit-shift operator. A very simple logic.

Still, many workarounds are remaining and some new were introduced while working on this task. work have not been finished yet. Full testing is required.