New types are now finished.
Added a new example.
Update to last rust compiler version.