Data type intro rewrite: work in progress.
Data types intro tutorial largely rewritten.