Merge pull request #1 from panagosg7/srcspan

Srcspan, Casts ...
Renaming Cast to DownCast and adding explicit UpCast expression
Merge pull request #2 from panagosg7/add_upcast

Adding Upcasts in the language