add env
chap8
add type_infer demo