examples/; add Types example