add exprshape.jl