semantic: Remove overly kind storage type bin op conversion code.
test: Add types 17, testing invalid scope assignment binop.