Changed the semantics of Cast to now force the sort of the inner term instead of just checking for subsort.
   - because of that I had to fix some casts from /include/io/uris.k
   - tweaking a bit the dot inference
Fix the warning message when inferring the type of dot.