Type checking of vector * scalar ops