-Ensure destination type is at least 2 bits. -Remove unnecessary check that both sources are the same type. The verifier already handles this generically.