WLS: working on the description of type semantics.