Added a manual translation of all the examples, except the identity type ones.