semantic: Be sure to check typing when going from non scope to scope.
semantic: Check for conversions to storage types before pointer arithmetic.