Erlang: autogen typespecs too