Be smarter about numeric types in assignment type check. ArrayAccess, StringLiteral, etc. remain to be seen..