add Proxy support to vmap when computing with partial information.
add Proxy support to vmap when computing with partial information.

darcs-hash:20060223061938-1a7c6-7407534d70ba02aa94aa4330a3d26b54e70b29cc

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc