Make a start at describing the results of class/type unification
in the type documentation.
1 file changed