Truncate or zero-pad vector signals as appropriate in bypass mode; default to bypass mode for connections between signals with unmatched vector lengths.
Run last typecasting check at end of expression parsing.