Fixing the type checking of multiple assignments