Wrote some more about type system