document types in more detail

[DangerMouseB]

I.e. the basic types and compositions and how the compositions solve the problems introduced by the subclassing (attaching behaviour to tuple subtypes) of "OO" languages. Compare to the experience of using Smalltalk.

Use the fx example to demonstrate type based programming