New directory for standard library semantics.