Added a revision about type embedding.