Updating the CIL semantics to match the new semantics of cast.
Solving the Ptr and BasePtr issue.