fixed a bug in shaddow_methods; fixed Expr._blk_to_quant to work with non-unary expressions