added information about runtime semantics
added information about object construction and destruction