proxy.erl で export する type の追加.