implement specified type for 0.8.6

[jacky860226]

let x := and("abc":uint32, add(3:uint256, 2:uint256))

{
    let zero:uint32 := 0:uint32
    let v:uint256, t:uint32 := f()
    let x, y := g()
}