Added a new example for demonstrating fixpoints.