Type derivation for data types (simple types).

Type derivation for element structures.

Typing vs. use.