Added transformer and quickcheck examples.