Started article about type semantics