Status of type system?

[James Hague]

The Erlang type system has been used in the development of shipping
products, correct?  As best I can tell, it is only for cross-checking
during development and the compiler doesn't use the information.

Are there any plans to integrate the type system into the Erlang release
and to possibly use the type data for improved code generation?  If not,
what's the state of the type system?

James