added link to Simpson's topological domain theory page