WLS: updated the semantics of types