1.1.12 efficiency

• lazy evaluation includes 1) reference counting (to avoid extra copy) 2) distinguish read from write 3) lazy fetching. 4) lazy expression evaluation. Detail see in more effective. Usually, implementation will be more complex with lazy evaluation.