Embedding of Types