Update erlang.mk.
The canonical type is `t/0`.

This follows a more Standard-MLesque approach to specs.