smart cast works on the level of type inference (f...

# language-proposals

[voddan]

smart cast works on the level of type inference (front end), and inlining works on the level of code generation (back end)