add a document to explain go type system and mem