added example 3, and typesystem